# fundamental theorem of finite factored sets